Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud

Source URL: www.cs.ru.nl

• Constructivism
• Structure
• Mathematics
• Type theory
• Logic
• Constructive proof
• Axiom of choice
• Topos
• Mathematical logic
• Model theory
• Topology

Physics 555 Fall2 Matrix algebra In BCS theory we need eigenvalues and eigenvectors of a matrix of the type ^= M

Source URL: felix.physics.sunysb.edu

V ENUS H OMOTOPICALLY A NDREI RODIN Institute of Philosophy RAS - Saint-Petersburg State University, Russia Abstract The identity concept developed in the Homotopy Type theory (HoTT) supports an

Source URL: philomatica.org

Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Proof theory
• Mathematical logic
• Mathematics
• Proof mining
• Mathematical proof
• Consistency
• Constructive proof
• Formal proof
• Intuitionistic logic
• Approximation
• Type theory

The strength of Martin-L¨of type theory with a superuniverse. Part I Michael Rathjen∗ School of Mathematics, University of Leeds, Leeds LS2 9JT, UK Abstract Universes of types were introduced into constructive type th

Source URL: www1.maths.leeds.ac.uk

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Programming language comparisons
• Type theory
• Higher-order functions
• Fold
• Generic programming
• Map
• Type class

Convergence of path measures arising from a mean field or polaron type interaction? Erwin Bolthausen1 , Jean-Dominique Deuschel2 , and Uwe Schmock1 1 2

Source URL: www.fam.tuwien.ac.at

• Mathematical analysis
• Probability
• Statistics
• Normal distribution
• Operator theory
• Mixing
• Distribution
• Polar coordinate system
• Symbol

Hunters in the dark: game theory analysis of the deadly probes scenario Anders Sandberg and Stuart Armstrong Future of Humanity Institute, Oxford University Introduction Type 2 stability

Source URL: www.seti.ac.uk

Overview History Homotopy Type theory Conclusions Constructive Axiomatic Method in Euclid, Hilbert

Source URL: philomatica.org

SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants

Source URL: lampwww.epfl.ch

• Software engineering
• Computer programming
• Computing
• Search algorithms
• Data types
• Type theory
• Enumerated type
• Lambda calculus
• Scala
• Foreach loop
• Combinatory logic
• Comparison of C Sharp and Java